GATE PYQ

Propositional Logic

Q41.
What is the first order predicate calculus statement equivalent to the following? Every teacher is liked by some student

Q42.
Let P(x) and Q(x) be arbitrary predicates. Which of the following statements is always TRUE?

Q43.
Which one of these first-order logic formulae is valid?

Q44.
Which one of the first order predicate calculus statements given below correctly expresses the following English statement? Tigers and lions attack if they are hungry or threatened.

Q45.
Consider the following propositional statements: P1:((A\wedge B)\rightarrow C)\equiv (A\rightarrow C)\wedge (B\rightarrow C) P2:((A\vee B)\rightarrow C)\equiv (A\rightarrow C)\vee (B\rightarrow C) Which one of the following is true?